Integrand size = 31, antiderivative size = 323 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=-\left (\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) x\right )-\frac {\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \cot (c+d x)}{d}-\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \cot ^2(c+d x)}{2 d}+\frac {a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right ) \cot ^3(c+d x)}{15 d}+\frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \log (\sin (c+d x))}{d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d} \]
[Out]
Time = 0.99 (sec) , antiderivative size = 323, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.226, Rules used = {3686, 3726, 3716, 3709, 3610, 3612, 3556} \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=\frac {a^2 \left (5 a^2 A-12 a b B-8 A b^2\right ) \cot ^4(c+d x)}{20 d}+\frac {a \left (5 a^3 B+20 a^2 A b-27 a b^2 B-13 A b^3\right ) \cot ^3(c+d x)}{15 d}-\frac {\left (a^4 A-4 a^3 b B-6 a^2 A b^2+4 a b^3 B+A b^4\right ) \cot ^2(c+d x)}{2 d}-\frac {\left (a^4 B+4 a^3 A b-6 a^2 b^2 B-4 a A b^3+b^4 B\right ) \cot (c+d x)}{d}-\frac {\left (a^4 A-4 a^3 b B-6 a^2 A b^2+4 a b^3 B+A b^4\right ) \log (\sin (c+d x))}{d}-x \left (a^4 B+4 a^3 A b-6 a^2 b^2 B-4 a A b^3+b^4 B\right )-\frac {a (2 a B+3 A b) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d} \]
[In]
[Out]
Rule 3556
Rule 3610
Rule 3612
Rule 3686
Rule 3709
Rule 3716
Rule 3726
Rubi steps \begin{align*} \text {integral}& = -\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\frac {1}{6} \int \cot ^6(c+d x) (a+b \tan (c+d x))^2 \left (3 a (3 A b+2 a B)-6 \left (a^2 A-A b^2-2 a b B\right ) \tan (c+d x)-3 b (a A-2 b B) \tan ^2(c+d x)\right ) \, dx \\ & = -\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\frac {1}{30} \int \cot ^5(c+d x) (a+b \tan (c+d x)) \left (-6 a \left (5 a^2 A-8 A b^2-12 a b B\right )-30 \left (3 a^2 A b-A b^3+a^3 B-3 a b^2 B\right ) \tan (c+d x)-6 b \left (7 a A b+3 a^2 B-5 b^2 B\right ) \tan ^2(c+d x)\right ) \, dx \\ & = \frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\frac {1}{30} \int \cot ^4(c+d x) \left (-6 a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right )+30 \left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \tan (c+d x)-6 b^2 \left (7 a A b+3 a^2 B-5 b^2 B\right ) \tan ^2(c+d x)\right ) \, dx \\ & = \frac {a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right ) \cot ^3(c+d x)}{15 d}+\frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\frac {1}{30} \int \cot ^3(c+d x) \left (30 \left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right )+30 \left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \tan (c+d x)\right ) \, dx \\ & = -\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \cot ^2(c+d x)}{2 d}+\frac {a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right ) \cot ^3(c+d x)}{15 d}+\frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\frac {1}{30} \int \cot ^2(c+d x) \left (30 \left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right )-30 \left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \tan (c+d x)\right ) \, dx \\ & = -\frac {\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \cot (c+d x)}{d}-\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \cot ^2(c+d x)}{2 d}+\frac {a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right ) \cot ^3(c+d x)}{15 d}+\frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\frac {1}{30} \int \cot (c+d x) \left (-30 \left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right )-30 \left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \tan (c+d x)\right ) \, dx \\ & = -\left (\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) x\right )-\frac {\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \cot (c+d x)}{d}-\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \cot ^2(c+d x)}{2 d}+\frac {a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right ) \cot ^3(c+d x)}{15 d}+\frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d}+\left (-a^4 A+6 a^2 A b^2-A b^4+4 a^3 b B-4 a b^3 B\right ) \int \cot (c+d x) \, dx \\ & = -\left (\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) x\right )-\frac {\left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \cot (c+d x)}{d}-\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \cot ^2(c+d x)}{2 d}+\frac {a \left (20 a^2 A b-13 A b^3+5 a^3 B-27 a b^2 B\right ) \cot ^3(c+d x)}{15 d}+\frac {a^2 \left (5 a^2 A-8 A b^2-12 a b B\right ) \cot ^4(c+d x)}{20 d}-\frac {\left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \log (\sin (c+d x))}{d}-\frac {a (3 A b+2 a B) \cot ^5(c+d x) (a+b \tan (c+d x))^2}{10 d}-\frac {a A \cot ^6(c+d x) (a+b \tan (c+d x))^3}{6 d} \\ \end{align*}
Result contains complex when optimal does not.
Time = 1.38 (sec) , antiderivative size = 299, normalized size of antiderivative = 0.93 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=\frac {-60 \left (4 a^3 A b-4 a A b^3+a^4 B-6 a^2 b^2 B+b^4 B\right ) \cot (c+d x)-30 \left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \cot ^2(c+d x)+20 a \left (4 a^2 A b-4 A b^3+a^3 B-6 a b^2 B\right ) \cot ^3(c+d x)+15 a^2 \left (a^2 A-6 A b^2-4 a b B\right ) \cot ^4(c+d x)-12 a^3 (4 A b+a B) \cot ^5(c+d x)-10 a^4 A \cot ^6(c+d x)+30 (a+i b)^4 (A+i B) \log (i-\tan (c+d x))-60 \left (a^4 A-6 a^2 A b^2+A b^4-4 a^3 b B+4 a b^3 B\right ) \log (\tan (c+d x))+30 (a-i b)^4 (A-i B) \log (i+\tan (c+d x))}{60 d} \]
[In]
[Out]
Time = 0.37 (sec) , antiderivative size = 330, normalized size of antiderivative = 1.02
method | result | size |
parallelrisch | \(\frac {\left (30 A \,a^{4}-180 A \,a^{2} b^{2}+30 A \,b^{4}-120 B \,a^{3} b +120 B a \,b^{3}\right ) \ln \left (\sec ^{2}\left (d x +c \right )\right )+\left (-60 A \,a^{4}+360 A \,a^{2} b^{2}-60 A \,b^{4}+240 B \,a^{3} b -240 B a \,b^{3}\right ) \ln \left (\tan \left (d x +c \right )\right )-10 A \left (\cot ^{6}\left (d x +c \right )\right ) a^{4}+\left (-48 A \,a^{3} b -12 B \,a^{4}\right ) \left (\cot ^{5}\left (d x +c \right )\right )+15 a^{2} \left (\cot ^{4}\left (d x +c \right )\right ) \left (A \,a^{2}-6 A \,b^{2}-4 B a b \right )+\left (80 A \,a^{3} b -80 A a \,b^{3}+20 B \,a^{4}-120 B \,a^{2} b^{2}\right ) \left (\cot ^{3}\left (d x +c \right )\right )+\left (-30 A \,a^{4}+180 A \,a^{2} b^{2}-30 A \,b^{4}+120 B \,a^{3} b -120 B a \,b^{3}\right ) \left (\cot ^{2}\left (d x +c \right )\right )+\left (-240 A \,a^{3} b +240 A a \,b^{3}-60 B \,a^{4}+360 B \,a^{2} b^{2}-60 B \,b^{4}\right ) \cot \left (d x +c \right )-240 d \left (A \,a^{3} b -A a \,b^{3}+\frac {1}{4} B \,a^{4}-\frac {3}{2} B \,a^{2} b^{2}+\frac {1}{4} B \,b^{4}\right ) x}{60 d}\) | \(330\) |
derivativedivides | \(\frac {\frac {\left (A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}\right ) \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{2}+\left (-4 A \,a^{3} b +4 A a \,b^{3}-B \,a^{4}+6 B \,a^{2} b^{2}-B \,b^{4}\right ) \arctan \left (\tan \left (d x +c \right )\right )-\frac {4 A \,a^{3} b -4 A a \,b^{3}+B \,a^{4}-6 B \,a^{2} b^{2}+B \,b^{4}}{\tan \left (d x +c \right )}+\left (-A \,a^{4}+6 A \,a^{2} b^{2}-A \,b^{4}+4 B \,a^{3} b -4 B a \,b^{3}\right ) \ln \left (\tan \left (d x +c \right )\right )-\frac {A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}}{2 \tan \left (d x +c \right )^{2}}-\frac {A \,a^{4}}{6 \tan \left (d x +c \right )^{6}}-\frac {a^{3} \left (4 A b +B a \right )}{5 \tan \left (d x +c \right )^{5}}+\frac {a \left (4 A \,a^{2} b -4 A \,b^{3}+B \,a^{3}-6 B a \,b^{2}\right )}{3 \tan \left (d x +c \right )^{3}}+\frac {a^{2} \left (A \,a^{2}-6 A \,b^{2}-4 B a b \right )}{4 \tan \left (d x +c \right )^{4}}}{d}\) | \(331\) |
default | \(\frac {\frac {\left (A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}\right ) \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{2}+\left (-4 A \,a^{3} b +4 A a \,b^{3}-B \,a^{4}+6 B \,a^{2} b^{2}-B \,b^{4}\right ) \arctan \left (\tan \left (d x +c \right )\right )-\frac {4 A \,a^{3} b -4 A a \,b^{3}+B \,a^{4}-6 B \,a^{2} b^{2}+B \,b^{4}}{\tan \left (d x +c \right )}+\left (-A \,a^{4}+6 A \,a^{2} b^{2}-A \,b^{4}+4 B \,a^{3} b -4 B a \,b^{3}\right ) \ln \left (\tan \left (d x +c \right )\right )-\frac {A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}}{2 \tan \left (d x +c \right )^{2}}-\frac {A \,a^{4}}{6 \tan \left (d x +c \right )^{6}}-\frac {a^{3} \left (4 A b +B a \right )}{5 \tan \left (d x +c \right )^{5}}+\frac {a \left (4 A \,a^{2} b -4 A \,b^{3}+B \,a^{3}-6 B a \,b^{2}\right )}{3 \tan \left (d x +c \right )^{3}}+\frac {a^{2} \left (A \,a^{2}-6 A \,b^{2}-4 B a b \right )}{4 \tan \left (d x +c \right )^{4}}}{d}\) | \(331\) |
norman | \(\frac {\left (-4 A \,a^{3} b +4 A a \,b^{3}-B \,a^{4}+6 B \,a^{2} b^{2}-B \,b^{4}\right ) x \left (\tan ^{6}\left (d x +c \right )\right )-\frac {A \,a^{4}}{6 d}-\frac {\left (4 A \,a^{3} b -4 A a \,b^{3}+B \,a^{4}-6 B \,a^{2} b^{2}+B \,b^{4}\right ) \left (\tan ^{5}\left (d x +c \right )\right )}{d}-\frac {\left (A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}\right ) \left (\tan ^{4}\left (d x +c \right )\right )}{2 d}+\frac {a \left (4 A \,a^{2} b -4 A \,b^{3}+B \,a^{3}-6 B a \,b^{2}\right ) \left (\tan ^{3}\left (d x +c \right )\right )}{3 d}+\frac {a^{2} \left (A \,a^{2}-6 A \,b^{2}-4 B a b \right ) \left (\tan ^{2}\left (d x +c \right )\right )}{4 d}-\frac {a^{3} \left (4 A b +B a \right ) \tan \left (d x +c \right )}{5 d}}{\tan \left (d x +c \right )^{6}}-\frac {\left (A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}\right ) \ln \left (\tan \left (d x +c \right )\right )}{d}+\frac {\left (A \,a^{4}-6 A \,a^{2} b^{2}+A \,b^{4}-4 B \,a^{3} b +4 B a \,b^{3}\right ) \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{2 d}\) | \(352\) |
risch | \(\text {Expression too large to display}\) | \(1137\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 350, normalized size of antiderivative = 1.08 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=-\frac {30 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} \log \left (\frac {\tan \left (d x + c\right )^{2}}{\tan \left (d x + c\right )^{2} + 1}\right ) \tan \left (d x + c\right )^{6} + 5 \, {\left (11 \, A a^{4} - 36 \, B a^{3} b - 54 \, A a^{2} b^{2} + 24 \, B a b^{3} + 6 \, A b^{4} + 12 \, {\left (B a^{4} + 4 \, A a^{3} b - 6 \, B a^{2} b^{2} - 4 \, A a b^{3} + B b^{4}\right )} d x\right )} \tan \left (d x + c\right )^{6} + 60 \, {\left (B a^{4} + 4 \, A a^{3} b - 6 \, B a^{2} b^{2} - 4 \, A a b^{3} + B b^{4}\right )} \tan \left (d x + c\right )^{5} + 10 \, A a^{4} + 30 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} \tan \left (d x + c\right )^{4} - 20 \, {\left (B a^{4} + 4 \, A a^{3} b - 6 \, B a^{2} b^{2} - 4 \, A a b^{3}\right )} \tan \left (d x + c\right )^{3} - 15 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2}\right )} \tan \left (d x + c\right )^{2} + 12 \, {\left (B a^{4} + 4 \, A a^{3} b\right )} \tan \left (d x + c\right )}{60 \, d \tan \left (d x + c\right )^{6}} \]
[In]
[Out]
Time = 12.58 (sec) , antiderivative size = 643, normalized size of antiderivative = 1.99 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=\begin {cases} \tilde {\infty } A a^{4} x & \text {for}\: c = 0 \wedge d = 0 \\x \left (A + B \tan {\left (c \right )}\right ) \left (a + b \tan {\left (c \right )}\right )^{4} \cot ^{7}{\left (c \right )} & \text {for}\: d = 0 \\\tilde {\infty } A a^{4} x & \text {for}\: c = - d x \\\frac {A a^{4} \log {\left (\tan ^{2}{\left (c + d x \right )} + 1 \right )}}{2 d} - \frac {A a^{4} \log {\left (\tan {\left (c + d x \right )} \right )}}{d} - \frac {A a^{4}}{2 d \tan ^{2}{\left (c + d x \right )}} + \frac {A a^{4}}{4 d \tan ^{4}{\left (c + d x \right )}} - \frac {A a^{4}}{6 d \tan ^{6}{\left (c + d x \right )}} - 4 A a^{3} b x - \frac {4 A a^{3} b}{d \tan {\left (c + d x \right )}} + \frac {4 A a^{3} b}{3 d \tan ^{3}{\left (c + d x \right )}} - \frac {4 A a^{3} b}{5 d \tan ^{5}{\left (c + d x \right )}} - \frac {3 A a^{2} b^{2} \log {\left (\tan ^{2}{\left (c + d x \right )} + 1 \right )}}{d} + \frac {6 A a^{2} b^{2} \log {\left (\tan {\left (c + d x \right )} \right )}}{d} + \frac {3 A a^{2} b^{2}}{d \tan ^{2}{\left (c + d x \right )}} - \frac {3 A a^{2} b^{2}}{2 d \tan ^{4}{\left (c + d x \right )}} + 4 A a b^{3} x + \frac {4 A a b^{3}}{d \tan {\left (c + d x \right )}} - \frac {4 A a b^{3}}{3 d \tan ^{3}{\left (c + d x \right )}} + \frac {A b^{4} \log {\left (\tan ^{2}{\left (c + d x \right )} + 1 \right )}}{2 d} - \frac {A b^{4} \log {\left (\tan {\left (c + d x \right )} \right )}}{d} - \frac {A b^{4}}{2 d \tan ^{2}{\left (c + d x \right )}} - B a^{4} x - \frac {B a^{4}}{d \tan {\left (c + d x \right )}} + \frac {B a^{4}}{3 d \tan ^{3}{\left (c + d x \right )}} - \frac {B a^{4}}{5 d \tan ^{5}{\left (c + d x \right )}} - \frac {2 B a^{3} b \log {\left (\tan ^{2}{\left (c + d x \right )} + 1 \right )}}{d} + \frac {4 B a^{3} b \log {\left (\tan {\left (c + d x \right )} \right )}}{d} + \frac {2 B a^{3} b}{d \tan ^{2}{\left (c + d x \right )}} - \frac {B a^{3} b}{d \tan ^{4}{\left (c + d x \right )}} + 6 B a^{2} b^{2} x + \frac {6 B a^{2} b^{2}}{d \tan {\left (c + d x \right )}} - \frac {2 B a^{2} b^{2}}{d \tan ^{3}{\left (c + d x \right )}} + \frac {2 B a b^{3} \log {\left (\tan ^{2}{\left (c + d x \right )} + 1 \right )}}{d} - \frac {4 B a b^{3} \log {\left (\tan {\left (c + d x \right )} \right )}}{d} - \frac {2 B a b^{3}}{d \tan ^{2}{\left (c + d x \right )}} - B b^{4} x - \frac {B b^{4}}{d \tan {\left (c + d x \right )}} & \text {otherwise} \end {cases} \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 333, normalized size of antiderivative = 1.03 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=-\frac {60 \, {\left (B a^{4} + 4 \, A a^{3} b - 6 \, B a^{2} b^{2} - 4 \, A a b^{3} + B b^{4}\right )} {\left (d x + c\right )} - 30 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} \log \left (\tan \left (d x + c\right )^{2} + 1\right ) + 60 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} \log \left (\tan \left (d x + c\right )\right ) + \frac {60 \, {\left (B a^{4} + 4 \, A a^{3} b - 6 \, B a^{2} b^{2} - 4 \, A a b^{3} + B b^{4}\right )} \tan \left (d x + c\right )^{5} + 10 \, A a^{4} + 30 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} \tan \left (d x + c\right )^{4} - 20 \, {\left (B a^{4} + 4 \, A a^{3} b - 6 \, B a^{2} b^{2} - 4 \, A a b^{3}\right )} \tan \left (d x + c\right )^{3} - 15 \, {\left (A a^{4} - 4 \, B a^{3} b - 6 \, A a^{2} b^{2}\right )} \tan \left (d x + c\right )^{2} + 12 \, {\left (B a^{4} + 4 \, A a^{3} b\right )} \tan \left (d x + c\right )}{\tan \left (d x + c\right )^{6}}}{60 \, d} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 943 vs. \(2 (313) = 626\).
Time = 1.85 (sec) , antiderivative size = 943, normalized size of antiderivative = 2.92 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=\text {Too large to display} \]
[In]
[Out]
Time = 8.11 (sec) , antiderivative size = 307, normalized size of antiderivative = 0.95 \[ \int \cot ^7(c+d x) (a+b \tan (c+d x))^4 (A+B \tan (c+d x)) \, dx=-\frac {{\mathrm {cot}\left (c+d\,x\right )}^6\,\left (\mathrm {tan}\left (c+d\,x\right )\,\left (\frac {B\,a^4}{5}+\frac {4\,A\,b\,a^3}{5}\right )+\frac {A\,a^4}{6}-{\mathrm {tan}\left (c+d\,x\right )}^3\,\left (\frac {B\,a^4}{3}+\frac {4\,A\,a^3\,b}{3}-2\,B\,a^2\,b^2-\frac {4\,A\,a\,b^3}{3}\right )+{\mathrm {tan}\left (c+d\,x\right )}^2\,\left (-\frac {A\,a^4}{4}+B\,a^3\,b+\frac {3\,A\,a^2\,b^2}{2}\right )+{\mathrm {tan}\left (c+d\,x\right )}^4\,\left (\frac {A\,a^4}{2}-2\,B\,a^3\,b-3\,A\,a^2\,b^2+2\,B\,a\,b^3+\frac {A\,b^4}{2}\right )+{\mathrm {tan}\left (c+d\,x\right )}^5\,\left (B\,a^4+4\,A\,a^3\,b-6\,B\,a^2\,b^2-4\,A\,a\,b^3+B\,b^4\right )\right )}{d}-\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )\right )\,\left (A\,a^4-4\,B\,a^3\,b-6\,A\,a^2\,b^2+4\,B\,a\,b^3+A\,b^4\right )}{d}+\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )+1{}\mathrm {i}\right )\,\left (A-B\,1{}\mathrm {i}\right )\,{\left (b+a\,1{}\mathrm {i}\right )}^4}{2\,d}+\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )-\mathrm {i}\right )\,\left (A+B\,1{}\mathrm {i}\right )\,{\left (-b+a\,1{}\mathrm {i}\right )}^4}{2\,d} \]
[In]
[Out]